Geometry 2.3B, Using Deductive Reasoning To Solve Logic Puzzles